Programming tool - PDFSEARCH.IO - Document Search Engine

Programming tool
Results: 791

#	Item
301	SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions Anil Madhavapeddy1 , David Scott2 , and Richard Sharp3 1 Computer Laboratory, University of Cambridge Add to Reading List Source URL: anil.recoil.org Language: English - Date: 2013-09-29 14:14:18 SPIN model checker OCaml Model checking Application programming interfaces Secure Shell Promela Assertion Type system C Computing Software Model checkers
302	Refactoring Service Offerings Add to Reading List Source URL: www.prodapt.com Language: English - Date: 2013-09-13 03:41:58 Code refactoring Legacy system X Window System Software development methodology Adobe Flex Programming tool Outline of software engineering Redesign Software Extreme programming Software development process
303	JeCo, a Collaborative Learning Tool for Programming Andr´es Moreno, Niko Myller, and Erkki Sutinen University of Joensuu Computer Science Department P.O. Box 111, FI[removed]Joensuu, Finland {amoreno, nmyller, sutinen}@cs Add to Reading List Source URL: cs.joensuu.fi Language: English - Date: 2004-06-11 05:04:20 Education Infographics Multimodal interaction Scientific modeling Visualization Authoring system E-learning Collaborative software Social network analysis software Humanâ€“computer interaction Application software Groupware
304	The rump kernel: A tool for driver development and a toolkit for applications Justin Cormack [removed] Abstract Add to Reading List Source URL: netbsd.org Language: English - Date: 2015-03-26 09:02:30 Computing platforms Cross-platform software Embedded operating systems NetBSD Application programming interfaces Kernel Thread Runnable Userspace Meta Programs Xen Computing Software System software
305	Comparing Bug Finding Tools with Reviews and Tests? Stefan Wagner1 , Jan J¨ urjens1 , Claudia Koller1, and Peter Trischberger2 1 Add to Reading List Source URL: www4.in.tum.de Language: English - Date: 2005-05-10 05:04:55 Software bug Programming tool Source lines of code Extended static checking PMD Software review Software Program analysis FindBugs
306	FLASHER 5 Programming tool for serial in circuit programming of microcontrollers with on-chip flash Add to Reading List Source URL: www.segger.com Language: English - Date: 2014-10-09 08:44:20 Electronic engineering Embedded systems R8C RS-232 Serial Peripheral Interface Bus Renesas Electronics Microcontrollers Electronics Computer hardware
307	Visual GEC Tutorial Background Visual GEC is a programming language for designing, simulating and analysing genetic devices that can be inserted into cells to reprogram their behaviour. The tool is intended for use by re Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-06-05 18:51:59 Mathematical modeling Simulation Stochastic Repressilator Mass spectrometry software Science Mathematics Knowledge Bioinformatics Determinism Deterministic simulation
308	Towards Tool Support for History Annotations in Similarity Management Extended Abstract Thomas Schmorleiz and Ralf L¨ammel Software Languages Team, Department of Computer Science, University of Koblenz-Landau, Germany Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Reference Git Similarity Annotation Haskell KeY Software Computer programming Computing
309	FLASHER ST7 Programming tool for ST7 series of microcontrollers with on-chip flash Software version 2.00 Add to Reading List Source URL: www.segger.com Language: English - Date: 2012-08-09 09:04:15 Electronic engineering Microcontrollers Computing Embedded systems Central processing unit Electronics
310	Upgrade Your AI SimBionic® is an AI middleware tool that simplifies the process of creating intelligent behavior for games and simulations. Using SimBionic, you can specify how game characters and simulated entities dyn Add to Reading List Source URL: www.simbionic.com Language: English - Date: 2006-09-27 13:34:11 Video game development Game engine Application programming interface

UPDATE